порядковый тип

порядковый тип
1) order type

2) order-type

Русско-английский технический словарь.

Смотреть что такое "порядковый тип" в других словарях:

  • порядковый тип — перечислимый тип — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы перечислимый тип EN ordinal type …   Справочник технического переводчика

  • ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… …   Математическая энциклопедия

  • Намбу Тип 94 — У этого термина существуют и другие значения, см. Намбу. У этого термина существуют и другие значения, см. Тип 94 (значения). Намбу Тип 94 …   Википедия

  • ТРАНСФИНИТНОЕ ЧИСЛО — порядковый тип бесконечного вполне упорядоченного множества. См. также Порядковое число, Кардинальное число …   Математическая энциклопедия

  • Приведение типа — (type conversion) преобразование значения переменной одного типа в значение другого типа. Выделяют явное и неявное приведения типов. При явном приведении указывается тип переменной, к которому необходимо преобразовать исходную переменную. При… …   Википедия

  • Упорядоченные и частично упорядоченные множества — (математичексие)         множества, в которых каким либо способом установлен порядок следования их элементов или, соответственно, частичный порядок. Понятия порядка и частичного порядка следования элементов определяются следующим образом. Говорят …   Большая советская энциклопедия

  • Множеств теория —         учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… …   Большая советская энциклопедия

  • Трансфинитные числа — (от Транс… и лат. finitus ограниченный)         обобщённые порядковые числа. Определение Т. ч. опирается на понятие вполне упорядоченного множества (см. Упорядоченные и частично упорядоченные множества). Каждое конечное множество можно сделать… …   Большая советская энциклопедия

  • АЛЕФЫ — первая буква древнееврейского алфавита, символы, введенные Г. Кантором (G. Cantor) для обозначения кардинальных чисел (мощностей) бесконечных вполне упорядоченных множеств. Каждое кардинальное число есть нек рый А. (следствие выбора аксиомы). Но… …   Математическая энциклопедия

  • АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… …   Математическая энциклопедия

  • ПОРЯДКОВОЕ ЧИСЛО — трансфинитное число, ординальное число, ординал, порядковый тип вполне упорядоченного множества. Понятие П. ч. ввел Г. Кантор (G. Cantor, 1883, см. [2]). Напр., П. ч. множества натуральных чисел, упорядоченного отношением , есть w. П. ч.… …   Математическая энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»